منابع مشابه
Unsatisfiable Linear k-CNFs Exist, for every k
We call a CNF formula linear if any two clauses have at most one variable in common. Let Linear k-SAT be the problem of deciding whether a given linear k-CNF formula is satisfiable. Here, a k-CNF formula is a CNF formula in which every clause has size exactly k. It was known that for k ≥ 3, Linear k-SAT is NP-complete if and only if an unsatisfiable linear k-CNF formula exists, and that they do...
متن کاملAll Directed BIBDs with k = 3 Exist
A directed BIBD with parameters (v,b,r,k,λ*) is a BIBD with parameters (v, b, r, k, 2λ*) in which each ordered pair of varieties occurs together in exactly λ* blocks. It is shown that λ*v(v 1) = 0 (mod 3) is a necessary and sufficient condition for the existence of a directed (v, b, r, k, λ*) BIBD with k = 3. Disciplines Physical Sciences and Mathematics Publication Details Seberry, J and Skill...
متن کامل(k, +)-Distance-Hereditary Graphs
In this work we introduce, characterize, and provide algorithmic results for (k, +)–distance-hereditary graphs, k ≥ 0. These graphs can be used to model interconnection networks with desirable connectivity properties; a network modeled as a (k, +)–distance-hereditary graph can be characterized as follows: if some nodes have failed, as long as two nodes remain connected, the distance between the...
متن کاملtotal $k$-distance domination critical graphs
a set $s$ of vertices in a graph $g=(v,e)$ is called a total$k$-distance dominating set if every vertex in $v$ is withindistance $k$ of a vertex in $s$. a graph $g$ is total $k$-distancedomination-critical if $gamma_{t}^{k} (g - x) < gamma_{t}^{k}(g)$ for any vertex $xin v(g)$. in this paper,we investigate some results on total $k$-distance domination-critical of graphs.
متن کاملMultiple Vitamin K Forms Exist in Dairy Foods
Background: The plant-based form of vitamin K (phylloquinone, vitamin K-1) has been well quantified in the US diet. Menaquinones (vitamin K-2) are another class of vitamin K compounds that differ from phylloquinone in the length and saturation of their side chain, but they have not been well characterized in foods. Objectives: The objectives of this study were to 1) quantify phylloquinone and t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computational Geometry
سال: 2010
ISSN: 0925-7721
DOI: 10.1016/j.comgeo.2010.05.001